Duality beyond sober spaces: Topological spaces and observation frames
نویسندگان
چکیده
منابع مشابه
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames
We introduce observation frames as an extension of ordinary frames. The aim is to give an abstract representation of a mapping from observable predicates to all predicates of a specific system. A full subcategory of the category of observation frames is shown to be dual to the category of F! topological spaces. The notions we use generalize those in the adjunction between frames and topological...
متن کاملBaire Spaces, Sober Spaces
In the article concepts and facts necessary to continue forma-lization of theory of continuous lattices according to [10] are introduced. The notation and terminology used here are introduced in the following papers:
متن کاملSober Spaces and Continuations
A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational values are determined by the observations that can be made of them. A new definition of sobriety is formulated in terms of lambda calculus and elementary category theory, with no reference to lattice structure, but, for topological spaces, this...
متن کاملBaire Spaces , Sober Spaces 1 Andrzej
In the article concepts and facts necessary to continue formalization of theory of continuous lattices according to [11] are introduced. and [4] provide the notation and terminology for this paper. 1. PRELIMINARIES The following two propositions are true: (1) For all sets X, A, B such that A ∈ Fin X and B ⊆ A holds B ∈ Fin X. (2) For every set X and for every family F of subsets of X such that ...
متن کاملFrames and Homogeneous Spaces
Let be a locally compact non?abelian group and be a compact subgroup of also let be a ?invariant measure on the homogeneous space . In this article, we extend the linear operator as a bounded surjective linear operator for all ?spaces with . As an application of this extension, we show that each frame for determines a frame for and each frame for arises from a frame in via...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00048-2